Formal methods

Results: 2204



#Item
21

SIDRA 2017 Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Maria Domenica Di Benedetto, Giordano Pola, Pierdomenico Pepe and Alessandro Borri

Add to Reading List

Source URL: muwo1.unibo.it

Language: English - Date: 2017-07-26 03:53:48
    22

    Collaborative and transparent Free Software development Lydia Pintscher Institute of Applied Informatics and Formal Description Methods Karlsruhe Institute of Technology 30. Juni 2011

    Add to Reading List

    Source URL: lydiapintscher.de

    Language: German - Date: 2011-06-30 11:19:45
      23

      Formal Methods in System Design manuscript No. (will be inserted by the editor) Refutation-Based Synthesis in SMT Andrew Reynolds · Viktor Kuncak · Cesare Tinelli · Clark Barrett ·

      Add to Reading List

      Source URL: lara.epfl.ch

      - Date: 2017-08-25 12:01:44
        24

        Combining Formal Methods and Industrial Pragmatics Eric L. McCorkle November 2, 2016

        Add to Reading List

        Source URL: ericmccorkleblog.files.wordpress.com

        - Date: 2016-11-15 14:02:39
          25

          1 40 Years of Formal Methods 8 Obstacles and 3 Possibilities ? Dedicated to Chris W. George

          Add to Reading List

          Source URL: www.imm.dtu.dk

          - Date: 2014-04-26 05:20:08
            26

            40 Years of Formal Methods Some Obstacles and Some Possibilities ? Dines Bjørnerα and Klaus Havelundβ,0 α Fredsvej 11, DK-2840 Holte, Danmark

            Add to Reading List

            Source URL: www.imm.dtu.dk

            - Date: 2014-03-18 03:55:21
              27

              Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods

              Add to Reading List

              Source URL: www.imm.dtu.dk

              - Date: 2016-09-28 03:17:34
                28

                Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods

                Add to Reading List

                Source URL: www2.compute.dtu.dk

                - Date: 2016-09-28 03:17:34
                  29

                  1 40 Years of Formal Methods 8 Obstacles and 3 Possibilities ? Dedicated to Chris W. George

                  Add to Reading List

                  Source URL: www.imm.dtu.dk

                  - Date: 2014-04-04 08:14:53
                    30

                    1 40 Years of Formal Methods 10 Obstacles and 3 Possibilities ? Dedicated to Chris W. George

                    Add to Reading List

                    Source URL: www.imm.dtu.dk

                    - Date: 2014-03-18 03:55:35
                      UPDATE